home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part1 / 71 < prev    next >
Encoding:
Text File  |  1996-08-05  |  3.4 KB  |  67 lines

  1. Path: suez.iconcomp.com!not-for-mail
  2. From: dsouza@suez.iconcomp.com (Desmond F. D'Souza)
  3. Newsgroups: comp.object,comp.lang.idl,comp.lang.java,comp.specification.larch,comp.specification.misc,comp.specification.z,comp.software-eng,comp.object.logic,comp.databases.object,comp.lang.smalltalk,comp.lang.c++,comp.lang.objective-c,comp.lang.eiffel
  4. Subject: OOA/D and Corba/IDL: A Common Base
  5. Date: 2 Jan 1996 00:47:28 -0600
  6. Organization: ICON Computing Inc.
  7. Distribution: inet
  8. Message-ID: <4cake0$7o6@suez.iconcomp.com>
  9. NNTP-Posting-Host: 204.251.58.65
  10. X-RTcode: 27fe8d7c301f2ab1bce8d5bf
  11. Keywords: OOA/D,methods,Corba,IDL,specification
  12.  
  13. Re: The OMG's efforts on OOA/D Methods and IDL
  14.  
  15. The OMG has launched a renewed effort to work towards a common basis for OOA/D
  16. methods and for IDL extensions. The goals of this effort, through the current
  17. RFI and upcoming RFPs, include:
  18.  
  19. - Identify a common semantic basis for OOA/D methods and meta-models
  20. - Identify extensions to IDL towards behavioral specification
  21.     (i.e. beyond plain signatures)
  22. - Work towards a common repository model and tool interchange facilities
  23.  
  24. The paper listed below outlines an approach to addressing these needs. The
  25. paper is available for Web access, or postscript may be downloaded.
  26.  
  27. OOA/D and Corba/IDL: A Common Base 
  28. ==================================
  29.  
  30. Abstract: The OMG's principal aims of widespread re-use and interoperability
  31. cannot be realized without precise, abstract behavioral definitions of
  32. interfaces and architectures. Interoperability of models and specifications
  33. across OOA/D methods and tools requires them to have a common semantic
  34. basis. Since specification constructs will vary, any solution must be flexible
  35. enough to permit a component to be selected based only on those parts of its
  36. specifications that a search tool understands.
  37.  
  38. This paper shows how "traits" -- individual named properties --- form a
  39. semantic basis for interchange of behavioral descriptions. Traits are composed
  40. into "theories", bodies of knowledge about specifications, types, modeling
  41. constructs, framework descriptions, and so on. Theories build upon each other
  42. by import. Everything from OOA modeling constructs, down to the nature of
  43. objects and basic ideas of logic is expressed in the theory heirarchy, rather
  44. than built into the notation itself. Every trait is asserted within the context
  45. of a theory containing everything that must be understood to make complete
  46. sense of it.
  47.  
  48. The paper shows how specifications written in different OOA/D notations can be
  49. given a solid semantics by translation to theories. Different notations have
  50. different underlying object models --- themselves expressed as theories.  To
  51. switch from one notation to another, substitute a different theory of
  52. objects. Systematic translations from one theory to another can be defined.  We
  53. illustrate with an extension to IDL for behavioral specification, and with
  54. OOA/D constructs as defined in the "Catalysis" method.
  55.  
  56. ====================
  57.  
  58. The paper is available on-line from:
  59. <A HREF="http://www.iconcomp.com/papers"> OMG, OOA/D, and IDL </A>
  60. (Web-browsable or postscript)
  61. The same location also has a detailed description of the Catalysis method.
  62. -- 
  63.  
  64. * ICON Computing, 12343 Hymeadow Dr., Suite 3C, Austin, TX 78750            *
  65. * Phone: 512.258.8437      Fax: 512.258.0086      email: info@iconcomp.com  *
  66. *       For a growing OO repository visit: http://www.iconcomp.com          *
  67.